Random good picture Not show

(1) The third advance has been the construction of formal models for cultural evolution.

(2) Finally, the author proposes a formal model of discourse construal from a generative holistic perspective.

(3) This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.

(4) As a XML-based descriptive language, WS-CDL lacks a formal model and verification mechanism to guarantee the correctness of collaborations and interactions.

(5) Manufacturers can provide colorful formal model for color card for consumers to choose.

(6) A formal model that analyzes the conflicts and cooperation between different businesses will be adopted in this thesis.

(7) The architecture is expressed as a formal model in UML, using a tool like Rational Software Architect to create it.

(8) A multi-grain formal model for service composition is proposed in this paper.

(9) This paper first introduces the formal model of RMS. Then, it puts stress on discussing the consistency preservation problem to remove contradicts in reasoning systems.

(10) In Section 3 we will introduce a formal model and in Section4 we will present BibSonomy and discuss the functionality and architecture of this system.

(11) We extend finite automata with time sequence and define temporal finite automata, then we propose using temporal finite automat to build formal model for data fusion system.

(12) Usually, we try to represent the architecture of a system through a formal model, and, usually, this model is articulated in UML, using a tool to create the various perspectives mentioned above.

(13) On the other hand, important specifications such as the Infoset (a formal model of the information nodes in an XML document) should be established at the foundations.

(14) Based on fully and specifically analyzing all the correlations in a program, a formal model was constructed to unify both control-flows and correlations.

(15) This paper proposes the role concept, discusses the dynamic access control of role-based workflow status, and describes and analyses the formal model.

(16) A formal method for compliant test of Trusted Cryptography Module(TCM) is proposed in this paper, which uses EFSM and testing vectors to build the formal model of TCM's standard.

(17) Facts may take the form of natural language statements or as attributions, relationships, or generalizations within a formal model.

(18) To what extent do you share the core intent of MDD - create a formal model and mathematically transform that model into correct and executing code?

(19) This paper presents an interoperability test generation method based on the formal model, Communicating Multiport Finite State Machines.

(20) In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC. Sentencedict.com

(21) TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol.

(22) On the progress of calling for structured or disciplined hypertext, people can use simply, direct and oriented application method except of using formal model of hypertext.